z := proc(f) return := proc(x) return := proc(y) return := f(x,y) end end end (+)(5)(4)
